Section: Dissemination

Teaching, Committee Work and Organization of Scientific Events

• Eric Badouel is the secretary of the steering committee of Cari , the African Conference on Research on Computer Science and Applied Mathematics. He takes part in the programme committee and in the organizing committee of CARI 2011. He is a member of the editorial board of the ARIMA Journal. He has taught an advanced course on functional programming and the manipulations of structured documents in the Second year of the Master of Research in Computer Science, Université Cheikh Anta Diop (UCAD) in Dakar, Senegal.

• Albert Benveniste is associated editor at large (AEAL) for the journal IEEE Trans. on Automatic Control. He is member of the Strategic Advisory Council of the Institute for Systems Research, Univ. of Maryland, College Park, USA. He belongs to the Scientific Advisory Board of INRIA, where he is in charge of the area of Embedded Systems.(Only facts related to the activities of Team S4 are mentioned. Other roles or duties concern the DistribCom or Sisthem teams, to which A. Benveniste also belongs.)

• Benoît Caillaud has been program committee co-chair of the International Conference on Application of Concurrency to System Design (ACSD) [29] . He has also served on the program committee of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011).

• Sophie Pinchinat has organized the GIPSy Workshop on Games, Logics and Security (2nd edition) in Rennes (25-27 October 2011). See details at http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11.html . Sophie Pinchinat is serving in the editorial board of the Journal on Discrete Event Dynamic Systems, Theory and Applications.